integrate 1/(x^2 + 1) from -infinity to infinity